Automated Route Planning for Milk-Run Transport Logistics with the NuSMV Model Checker
نویسندگان
چکیده
منابع مشابه
Automated Route Planning for Milk-Run Transport Logistics with the NuSMV Model Checker
In this paper, we propose and implement an automated route planning framework for milk-run transport logistics by applying model checking techniques. First, we develop a formal specification framework for milk-run transport logistics. The framework adopts LTL (Linear Temporal Logic), a language based on temporal logics, as a specification language for users to be able to flexibly and formally s...
متن کاملNuSeen: an eclipse-based environment for the NuSMV model checker
NuSMV [5] is a symbolic model checker originated from the reengineering, reimplementation and extension of CMU SMV, the original BDD-based model checker developed at CMU by McMillan [4]. The NuSMV project aims at the development of a state-of-the-art symbolic model checker, designed to be applicable in technology transfer projects: it is a well structured, open, flexible and documented platform...
متن کاملTransport Logistics Planning with Service-Level Constraints
In this paper, we study a logistics problem arising in military transport planning. A military organization operates a large fleet of vehicles in a depot to serve the requests of various operational units. Each request has a fixed start and end time, and is served by a prescribed number of vehicles. We address the following two problems: (1) how many vehicles are at least needed to meet a given...
متن کاملTRANSPORT ROUTE PLANNING MODELS BASED ON FUZZY APPROACH
Transport route planning is one of the most important and frequent activities in supply chain management. The design of information systems for route planning in real contexts faces two relevant challenges: the complexity of the planning and the lack of complete and precise information. The purpose of this paper is to nd methods for the development of transport route planning in uncertainty dec...
متن کاملA dynamic Milk Run in WEEE Reverse Logistics
The management of waste electrical and electronic equipment (WEEE) is an important and critical aspect in the field of Reverse Logistics. The strategic importance of good treatment of waste is fundamental for reaching the objectives of environmental protection (as energy, natural resources, waste reduction) and economics goals (the lower cost of secondary raw materials for example). The followi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEICE Transactions on Information and Systems
سال: 2013
ISSN: 0916-8532,1745-1361
DOI: 10.1587/transinf.e96.d.2555